搜索包含 Southeast Asian Studies Program (Institute of Southeast Asian Studies) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Southeast Asian Studies Program (Institute of Southeast Asian Studies) 的图书(共3564本)

	Program verification 0 索取号：TP31/E9922 作者：Francez、 Nissim.、出版社：N.Y. Wokingham, Eng. ; Reading, Mass. : Addison-Wesley Pub. Co., 1992.		Formal methods of program verification and specification 0 索取号：TP31/E9076 作者：出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1982.
	COBOL : an introduction to structured logic and modular program design 0 索取号：TP31/E8026 作者：Davis、 William S.、 1943-、Fisher、 Richard H.、 joint author.、出版社：Reading, Mass. : Addison-Wesley Pub. Co., 1979.		Program derivation : the development of programs from specifications 0 索取号：TP31/E90108 作者：Dromey、 R. G.、 1946-、出版社：Sydney ; Reading, Mass. : Addison-Wesley, 1989.
	Assemblers, compilers, and program translation 0 索取号：TP31/E8030 作者：Calingaert、 Peter.、出版社：Potomac, Md. : Computer Science Press, 1979.		The structured alternative : program design, style and debugging 0 索取号：TP31/E9062 作者：Cassel、 Don、 1942-、出版社：Reston, Va. : Reston Pub. Co., 1983.
	Program design with pseudocode 0 索取号：TP31/E9091.2 作者：Bailey、 T. E.、 1935-、Lundgaard、 Kris、 1958-、出版社：Monterey, Calif. : Brooks/Cole Pub. Co., 1986.		The program development process 0 索取号：TP31/E8016 作者：Aron、 J. D. (Joel D.)、出版社：Reading, Mass. : Addison-Wesley Pub. Co., 1974-
	Principles of program design 0 索取号：TP31/E8047 作者：Jackson、 M. A.、出版社：London ; New York : Academic Press, 1975.		Techniques of program structure and design 0 索取号：TP31/E8039 作者：Yourdon、 Edward.、出版社：Englewood Cliffs, N.J. : Prentice-Hall, [1975]
	Proceedings : 1991 IEEE Computer Society Symposium on Research in Security and Privacy, May 20-22, 1991, Oakland, California 0 索取号：TP309-53/E991/1991 作者：IEEE Computer Society Symposium on Research in Security and Privacy (1991 : Oakland、 Calif.)、IEEE Computer Society. Technical Committee on Security and Privacy.、International Association for Cryptologic Research.、Institute of Electrical and Electronics Engineers.、出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c1991.		Conference proceedings [electronic resource] : the 15th Annual International Symposium on Computer Architecture, May 30-June 2, 1988, Honolulu, Hawaii 0 索取号：TP303-53/E801/15 作者：International Symposium on Computer Architecture (15th : 1988 : Honolulu、 Hawaii)、Sigarch.、Institute of Electrical and Electronics Engineers.、IEEE Computer Society. Technical Committee on Computer Architecture.、出版社：Washington, D.C. : Computer Society Press of the IEEE, c1988.
	The 14th Annual International Symposium on Computer Architecture [electronic resource] : June 2-5, 1987, Pittsburgh, Pennsylvania : conference proceedings 0 索取号：TP303-53/E801/14 作者：International Symposium on Computer Architecture (14th : 1987 : Pittsburgh、 Pa.)、Sigarch.、Institute of Electrical and Electronics Engineers.、ACM Digital Library.、IEEE Computer Society. Technical Committee on Computer Architecture.、出版社：Washington, DC : Computer Society Press of the IEEE, 1987.		Conference proceedings [electronic resource] : the 12th Annual International Symposium on Computer Architecture, June 17-19, 1985, Boston, Massachusetts 0 索取号：TP303-53/E801/12 作者：International Symposium on Computer Architecture (12th : 1985 : Boston、 Mass.)、ACM Digital Library.、Sigarch.、Institute of Electrical and Electronics Engineers.、IEEE Computer Society. Technical Committee on Computer Architecture.、出版社：Silver Spring, MD : IEEE Computer Society Press, c1985.
	Conference proceedings [electronic resource] : the 9th Annual Symposium on Computer Architecture, April 26-29, 1982, Austin, Texas 0 索取号：TP303-53/E801/9 作者：Symposium on Computer Architecture (9th : 1982 : Austin、 Tex.)、Association for Computing Machinery.、Institute of Electrical and Electronics Engineers.、ACM Digital Library.、IEEE Computer Society.、出版社：New York : Institute of Electrical and Electronics Engineers, 1982.		Computer Performance Evaluation Users Group (CPEUG) : proceedings of the Sixteenth Meeting held at Orlando, Florida, October 20-23, 1980 0 索取号：TP302-53/E803/16 作者：Computer Performance Evaluation Users Group. Meeting (16th : 1980 : Orlando、 Fla.)、Highland、 Harold Joseph.、United States. National Bureau of Standards.、Institute for Computer Sciences and Technology.、United States. Navy Data Automation Facility.、出版社：Washington, D.C. : The Bureau : For sale by the Supt. of Docs., U.S. G.P.O., 1980.

	Program verification 0 索取号：TP31/E9922 作者：Francez、 Nissim.、出版社：N.Y. Wokingham, Eng. ; Reading, Mass. : Addison-Wesley Pub. Co., 1992.		Formal methods of program verification and specification 0 索取号：TP31/E9076 作者：出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1982.
	COBOL : an introduction to structured logic and modular program design 0 索取号：TP31/E8026 作者：Davis、 William S.、 1943-、Fisher、 Richard H.、 joint author.、出版社：Reading, Mass. : Addison-Wesley Pub. Co., 1979.		Program derivation : the development of programs from specifications 0 索取号：TP31/E90108 作者：Dromey、 R. G.、 1946-、出版社：Sydney ; Reading, Mass. : Addison-Wesley, 1989.
	Assemblers, compilers, and program translation 0 索取号：TP31/E8030 作者：Calingaert、 Peter.、出版社：Potomac, Md. : Computer Science Press, 1979.		The structured alternative : program design, style and debugging 0 索取号：TP31/E9062 作者：Cassel、 Don、 1942-、出版社：Reston, Va. : Reston Pub. Co., 1983.
	Program design with pseudocode 0 索取号：TP31/E9091.2 作者：Bailey、 T. E.、 1935-、Lundgaard、 Kris、 1958-、出版社：Monterey, Calif. : Brooks/Cole Pub. Co., 1986.		The program development process 0 索取号：TP31/E8016 作者：Aron、 J. D. (Joel D.)、出版社：Reading, Mass. : Addison-Wesley Pub. Co., 1974-
	Principles of program design 0 索取号：TP31/E8047 作者：Jackson、 M. A.、出版社：London ; New York : Academic Press, 1975.		Techniques of program structure and design 0 索取号：TP31/E8039 作者：Yourdon、 Edward.、出版社：Englewood Cliffs, N.J. : Prentice-Hall, [1975]
	Proceedings : 1991 IEEE Computer Society Symposium on Research in Security and Privacy, May 20-22, 1991, Oakland, California 0 索取号：TP309-53/E991/1991 作者：IEEE Computer Society Symposium on Research in Security and Privacy (1991 : Oakland、 Calif.)、IEEE Computer Society. Technical Committee on Security and Privacy.、International Association for Cryptologic Research.、Institute of Electrical and Electronics Engineers.、出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c1991.		Conference proceedings [electronic resource] : the 15th Annual International Symposium on Computer Architecture, May 30-June 2, 1988, Honolulu, Hawaii 0 索取号：TP303-53/E801/15 作者：International Symposium on Computer Architecture (15th : 1988 : Honolulu、 Hawaii)、Sigarch.、Institute of Electrical and Electronics Engineers.、IEEE Computer Society. Technical Committee on Computer Architecture.、出版社：Washington, D.C. : Computer Society Press of the IEEE, c1988.
	The 14th Annual International Symposium on Computer Architecture [electronic resource] : June 2-5, 1987, Pittsburgh, Pennsylvania : conference proceedings 0 索取号：TP303-53/E801/14 作者：International Symposium on Computer Architecture (14th : 1987 : Pittsburgh、 Pa.)、Sigarch.、Institute of Electrical and Electronics Engineers.、ACM Digital Library.、IEEE Computer Society. Technical Committee on Computer Architecture.、出版社：Washington, DC : Computer Society Press of the IEEE, 1987.		Conference proceedings [electronic resource] : the 12th Annual International Symposium on Computer Architecture, June 17-19, 1985, Boston, Massachusetts 0 索取号：TP303-53/E801/12 作者：International Symposium on Computer Architecture (12th : 1985 : Boston、 Mass.)、ACM Digital Library.、Sigarch.、Institute of Electrical and Electronics Engineers.、IEEE Computer Society. Technical Committee on Computer Architecture.、出版社：Silver Spring, MD : IEEE Computer Society Press, c1985.
	Conference proceedings [electronic resource] : the 9th Annual Symposium on Computer Architecture, April 26-29, 1982, Austin, Texas 0 索取号：TP303-53/E801/9 作者：Symposium on Computer Architecture (9th : 1982 : Austin、 Tex.)、Association for Computing Machinery.、Institute of Electrical and Electronics Engineers.、ACM Digital Library.、IEEE Computer Society.、出版社：New York : Institute of Electrical and Electronics Engineers, 1982.		Computer Performance Evaluation Users Group (CPEUG) : proceedings of the Sixteenth Meeting held at Orlando, Florida, October 20-23, 1980 0 索取号：TP302-53/E803/16 作者：Computer Performance Evaluation Users Group. Meeting (16th : 1980 : Orlando、 Fla.)、Highland、 Harold Joseph.、United States. National Bureau of Standards.、Institute for Computer Sciences and Technology.、United States. Navy Data Automation Facility.、出版社：Washington, D.C. : The Bureau : For sale by the Supt. of Docs., U.S. G.P.O., 1980.